Inferred Type Predicates